My Favorite Sichuan Hot Pot Recipe, From 1972